1   some  context  and  an  introduction  to  my  field   2  

Source URL: www.levreyzin.com

• Machine learning
• Learning
• Computational learning theory
• Limit of a function
• Cognition
• Theoretical computer science
• Cognitive science
• Statistical classification

 -  - -00-18 ËÁÁÅ Technical Report Discrete Prediction Games with Arbitrary Feedback and Loss

Source URL: archive.cone.informatik.uni-freiburg.de

• Algorithm
• Mathematical logic
• Theoretical computer science
• Reinforcement learning
• RSA
• Online machine learning

Microsoft Word - Create_Performance_Task_Fall2015_v2b.docx

Source URL: d1b10bmlvqabco.cloudfront.net

• Mathematical logic
• Algorithm
• Theoretical computer science
• Abstraction
• Programming language
• AP Computer Science Principles
• Computing
• Cognitive science
• Cognition
• Philosophy

JMLR: Workshop and Conference Proceedings vol 40:1–3, 2015 Open Problem: Learning Quantum Circuits with Queries Jeremy Kun Lev Reyzin

Source URL: www.levreyzin.com

• Quantum information science
• Quantum mechanics
• Theoretical computer science
• Quantum circuit
• Qubit
• Quantum gate
• Quantum computing

Topics in Theoretical Computer Science March 7, 2016 Lecture 3 (Notes) Lecturer: Ola Svensson

Source URL: theory.epfl.ch

Theoretical Elsevier Computer Science

Source URL: www-igm.univ-mlv.fr

M EMORAX, a precise and sound tool for automatic fence insertion under TSO ? Parosh Aziz Abdulla1 , Mohamed Faouzi Atig1 , Yu-Fang Chen2 , Carl Leonardsson1 , and Ahmed Rezine3 1

Source URL: user.it.uu.se

• Theoretical computer science
• Mathematics
• Finite automata
• Computing
• Theory of computation
• Formal methods
• Reachability problem
• Logic in computer science
• Model checking
• Memory barrier
• Preorder
• Algorithm

Games and Synthesis Nir Piterman University of Leicester Telč, July-Autugst 2014 Games and Synthesis, EATCS Young Researchers School, Telč, Summer 2014

Source URL: eatcs-school.fi.muni.cz

• Theoretical computer science
• European Association for Theoretical Computer Science
• Fellows of the Royal Society
• Model checking
• Alan Turing

JMLR: Workshop and Conference Proceedings vol 40:1–21, 2015 Second-order Quantile Methods for Experts and Combinatorial Games Wouter M. Koolen

Source URL: jmlr.org

• Statistics
• Combinatory logic
• Lambda calculus
• Logic in computer science
• Principal component analysis
• Theoretical computer science
• Mathematics

CTP-based programming languages ? Considerations about an experimental design Florian Haftmann Cezary Kaliszyk

Source URL: dream.inf.ed.ac.uk

• Theoretical computer science
• Automated theorem proving
• Logic in computer science
• Proof assistants
• Formal methods
• Isabelle
• Type theory
• HOL
• Automated reasoning
• Computer algebra system
• Vienna Development Method
• Software development